On the Interactions of Awareness and Certainty
نویسندگان
چکیده
We examine the interactions of knowledge and awareness in dynamic epistemic logic. Implicit knowledge describes the things that an agent could infer from what is known, if the agent were aware of the necessary concepts. Reasoning techniques that are robust to incomplete awareness are important when considering interactions of automated agents in complex dynamic environments, such as the semantic web. Here we revisit Hector Levesque’s original motivation of implicit knowledge and consider several contemporary realizations of implicit knowledge. We present a framework to compare different interactions of knowledge and awareness in the context of public announcements, and introduce a new formalism for tacit knowledge.
منابع مشابه
Shift of “Certainty” in Pre- and Post-Citation Arguments: The Case of Textbooks in Applied Linguistics
Writing academic texts by novice researchers requires a framework and support by learning how to cite the works of others. However, compared to the studies on other academic writings, studying citations by considering certainty markers has received little attention. The main purpose of this study was to investigate the shifts of certainty markers (hedges and boosters) in pre- and post-citation ...
متن کاملGroundwater contamination analysis using Fuzzy Water Quality index (FWQI): Yazd province, Iran
Fuzzy Water Quality Index (FWQI) was applied in order to assess the degree of drinking water resources in Yazd province, Iran. Thisstudy has also offered the creation of a new fuzzy water quality index (FWQI) to evaluate this tool’s applicability. 12 chemicalparameters including toxic and non-toxic heavy metals measured in 71 groundwater samples collected from drinking water resourcesin rural a...
متن کاملRisk premiums and certainty equivalents of loss-averse newsvendors of bounded utility
Loss-averse behavior makes the newsvendors avoid the losses more than seeking the probable gains as the losses have more psychological impact on the newsvendor than the gains. In economics and decision theory, the classical newsvendor models treat losses and gains equally likely, by disregarding the expected utility when the newsvendor is loss-averse. Moreover, the use of unbounded utility to m...
متن کاملAssessing Self-awareness and Transparency when Classifying a Speaker’s Level of Certainty
This paper is about using prosody to automatically detect one aspect of a speaker’s internal state: their level of certainty. While past work on classifying level of certainty used the perceived level of certainty as the value to predict, we find that this quantity often differs from a speaker’s actual level of certainty as gauged by self-reports. In this work we build models to predict a speak...
متن کاملMeasuring the performances of Medical Diagnostic Laboratories based on interval efficiencies
The classic data envelopment analysis (DEA) models have overlooked the intermediate products, internal interactions and the absence of data certainty; and deal with analyzing the network within the “Black Box” mode. This results in the loss of important information and at times a considerable modification occurs in efficiency results. In this paper, a Three-stage network model is considered wit...
متن کامل